منابع مشابه
C2lc20677c 1841..1848
Biomolecules inside a microfluidic system can be used to solve computational problems, such as theorem proving, which is an important class of logical reasoning problems. In this article, the Boolean variables (literals) were represented using single-stranded DNA molecules, and theorem proving was performed by the hybridization and ligation of these variables into a double-stranded ‘‘solution’’...
متن کاملASGO's Third Biennial Meeting, December 12-14, 2013
Oncology (ASGO) 1st Meeting Tokyo in 2009, and 2nd Meeting Seoul in 2011, the 3rd Biennial Meeting was successfully held in the Westin Miyako Hotel, Kyoto, located in a beautiful suburb of Kyoto from 12 to 14 December 2013 (Fig. 1). Total number of registrants was 1,349 from 28 countries including 11 nonAsian countries. A total of 402 abstracts were submitted and it was the largest number ever ...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Proceedings of the Zoological Society of London
سال: 1848
ISSN: 0370-2774
DOI: 10.1111/j.1469-7998.1848.tb00181.x